#include <syscall.h>

int main (int argc, char *argv[])
{
  run (argv[1]);
  return 0;
}
